<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.9.1"/>
<title>opennars: nars.inference.RuleTables.reason</title>
<link href="../../tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../jquery.js"></script>
<script type="text/javascript" src="../../dynsections.js"></script>
<link href="../../navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../resize.js"></script>
<script type="text/javascript" src="../../navtreedata.js"></script>
<script type="text/javascript" src="../../navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="../../search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../search/searchdata.js"></script>
<script type="text/javascript" src="../../search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { init_search(); });
</script>
<link href="../../doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td style="padding-left: 0.5em;">
   <div id="projectname">opennars
   &#160;<span id="projectnumber">1.5.5</span>
   </div>
   <div id="projectbrief">1.5-ish</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.9.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "../../search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="../../index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="../../pages.html"><span>Related&#160;Pages</span></a></li>
      <li><a href="../../namespaces.html"><span>Packages</span></a></li>
      <li><a href="../../annotated.html"><span>Classes</span></a></li>
      <li><a href="../../files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="../../search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="../../search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('da/de3/classnars_1_1inference_1_1RuleTables_ac2d01dfdc40bdd47c757cb549217e6e3.html','../../');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="contents">
<a class="anchor" id="ac2d01dfdc40bdd47c757cb549217e6e3"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">static void nars.inference.RuleTables.reason </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="../../d9/d27/classnars_1_1entity_1_1TaskLink.html">TaskLink</a>&#160;</td>
          <td class="paramname"><em>tLink</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>&#160;</td>
          <td class="paramname"><em>bLink</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a>&#160;</td>
          <td class="paramname"><em>memory</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Entry point of the inference engine. </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">tLink</td><td>The selected TaskLink, which will provide a task </td></tr>
    <tr><td class="paramname">bLink</td><td>The selected TermLink, which may provide a belief </td></tr>
    <tr><td class="paramname">memory</td><td>Reference to the memory </td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="../../d1/d5e/RuleTables_8java_source.html#l00045">45</a> of file <a class="el" href="../../d1/d5e/RuleTables_8java_source.html">RuleTables.java</a>.</p>

<p>References <a class="el" href="../../d8/df2/Term_8java_source.html#l00083">nars.language.Term.clone()</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00042">nars.entity.TermLink.COMPONENT</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00050">nars.entity.TermLink.COMPONENT_CONDITION</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00046">nars.entity.TermLink.COMPONENT_STATEMENT</a>, <a class="el" href="../../d1/d5e/RuleTables_8java_source.html#l00683">nars.inference.RuleTables.componentAndStatement()</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00044">nars.entity.TermLink.COMPOUND</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00052">nars.entity.TermLink.COMPOUND_CONDITION</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00048">nars.entity.TermLink.COMPOUND_STATEMENT</a>, <a class="el" href="../../d1/d5e/RuleTables_8java_source.html#l00602">nars.inference.RuleTables.compoundAndCompound()</a>, <a class="el" href="../../d1/d5e/RuleTables_8java_source.html#l00570">nars.inference.RuleTables.compoundAndSelf()</a>, <a class="el" href="../../d1/d5e/RuleTables_8java_source.html#l00629">nars.inference.RuleTables.compoundAndStatement()</a>, <a class="el" href="../../d4/d6b/SyllogisticRules_8java_source.html#l00381">nars.inference.SyllogisticRules.conditionalAna()</a>, <a class="el" href="../../d4/d6b/SyllogisticRules_8java_source.html#l00291">nars.inference.SyllogisticRules.conditionalDedInd()</a>, <a class="el" href="../../d1/d5e/RuleTables_8java_source.html#l00538">nars.inference.RuleTables.conditionalDedIndWithVar()</a>, <a class="el" href="../../d4/d6b/SyllogisticRules_8java_source.html#l00224">nars.inference.SyllogisticRules.detachment()</a>, <a class="el" href="../../df/d62/Concept_8java_source.html#l00385">nars.entity.Concept.getBelief()</a>, <a class="el" href="../../da/d1c/Sentence_8java_source.html#l00133">nars.entity.Sentence.getContent()</a>, <a class="el" href="../../db/d0c/Memory_8java_source.html#l00625">nars.storage.Memory.getCurrentTask()</a>, <a class="el" href="../../db/d0c/Memory_8java_source.html#l00592">nars.storage.Memory.getCurrentTerm()</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00168">nars.entity.TermLink.getIndex()</a>, <a class="el" href="../../d6/d10/Task_8java_source.html#l00099">nars.entity.Task.getSentence()</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00143">nars.entity.TermLink.getTarget()</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00151">nars.entity.TermLink.getType()</a>, <a class="el" href="../../d0/db7/LocalRules_8java_source.html#l00053">nars.inference.LocalRules.match()</a>, <a class="el" href="../../db/d0c/Memory_8java_source.html#l00129">nars.storage.Memory.noResult()</a>, <a class="el" href="../../db/daa/TermLink_8java_source.html#l00040">nars.entity.TermLink.SELF</a>, <a class="el" href="../../db/d0c/Memory_8java_source.html#l00651">nars.storage.Memory.setCurrentBelief()</a>, <a class="el" href="../../d1/d5e/RuleTables_8java_source.html#l00197">nars.inference.RuleTables.syllogisms()</a>, and <a class="el" href="../../db/d0c/Memory_8java_source.html#l00166">nars.storage.Memory.termToConcept()</a>.</p>

<p>Referenced by <a class="el" href="../../df/d62/Concept_8java_source.html#l00404">nars.entity.Concept.fire()</a>.</p>
<div class="fragment"><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;                                                                             {</div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;        <a class="code" href="../../dc/ddc/classnars_1_1entity_1_1Task.html">Task</a> task = memory.<a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory_a26eda4f00b333b706b4e3d069fdf1508.html#a26eda4f00b333b706b4e3d069fdf1508">getCurrentTask</a>();</div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;        <a class="code" href="../../d6/d25/classnars_1_1entity_1_1Sentence.html">Sentence</a> taskSentence = task.<a class="code" href="../../dc/ddc/classnars_1_1entity_1_1Task_ab140cb553a6cf40b07093d1df283567f.html#ab140cb553a6cf40b07093d1df283567f">getSentence</a>();</div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;        <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> taskTerm = (<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a>) taskSentence.<a class="code" href="../../d6/d25/classnars_1_1entity_1_1Sentence_ad1ded9a02cae3557948d05530cd4d37e.html#ad1ded9a02cae3557948d05530cd4d37e">getContent</a>().<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_ae2dba162b71bb9b806f54832249a260c.html#ae2dba162b71bb9b806f54832249a260c">clone</a>(); <span class="comment">// cloning for</span></div>
<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;                                                                    <span class="comment">// substitution</span></div>
<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> beliefTerm = (<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a>) bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a133e3243292f9daacaa8443acef6b185.html#a133e3243292f9daacaa8443acef6b185">getTarget</a>().<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_ae2dba162b71bb9b806f54832249a260c.html#ae2dba162b71bb9b806f54832249a260c">clone</a>(); <span class="comment">// cloning for</span></div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;                                                            <span class="comment">// substitution</span></div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <a class="code" href="../../d4/d22/classnars_1_1entity_1_1Concept.html">Concept</a> beliefConcept = memory.<a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory_a19d1a5ec8277f907caaef4ecfcab2f28.html#a19d1a5ec8277f907caaef4ecfcab2f28">termToConcept</a>(beliefTerm);</div>
<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        <a class="code" href="../../d6/d25/classnars_1_1entity_1_1Sentence.html">Sentence</a> belief = null;</div>
<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">if</span> (beliefConcept != null) {</div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;            belief = beliefConcept.<a class="code" href="../../d4/d22/classnars_1_1entity_1_1Concept_a37e00599fc19c5931da40bd446890f89.html#a37e00599fc19c5931da40bd446890f89">getBelief</a>(task);</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        }</div>
<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;        memory.<a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory_a3482da9df329962e73213118fbaef131.html#a3482da9df329962e73213118fbaef131">setCurrentBelief</a>(belief); <span class="comment">// may be null</span></div>
<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;            <a class="code" href="../../d4/de9/classnars_1_1inference_1_1LocalRules.html">LocalRules</a>.<a class="code" href="../../d4/de9/classnars_1_1inference_1_1LocalRules_aac1c92950f50edd04d12229a8c992987.html#aac1c92950f50edd04d12229a8c992987">match</a>(task, belief, memory);</div>
<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        }</div>
<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <span class="keywordflow">if</span> (!memory.<a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory_a871fc44819f07232afb4573ad704dee0.html#a871fc44819f07232afb4573ad704dee0">noResult</a>()) {</div>
<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;            <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        }</div>
<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        <span class="keywordtype">short</span> tIndex = tLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_af093a699db24ea0f11c4dafd0004f974.html#af093a699db24ea0f11c4dafd0004f974">getIndex</a>(0);</div>
<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        <span class="keywordtype">short</span> bIndex = bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_af093a699db24ea0f11c4dafd0004f974.html#af093a699db24ea0f11c4dafd0004f974">getIndex</a>(0);</div>
<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keywordflow">switch</span> (tLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a795ea0b57cd6467bbe2a8f68a34cba02.html#a795ea0b57cd6467bbe2a8f68a34cba02">getType</a>()) { <span class="comment">// dispatch first by TaskLink type</span></div>
<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;            <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_abc9e35e4d0450f422fc03e2e53394e6a.html#abc9e35e4d0450f422fc03e2e53394e6a">SELF</a> :</div>
<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;                <span class="keywordflow">switch</span> (bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a795ea0b57cd6467bbe2a8f68a34cba02.html#a795ea0b57cd6467bbe2a8f68a34cba02">getType</a>()) {</div>
<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a267c238e8b0425f2f5ca407b16092d00.html#a267c238e8b0425f2f5ca407b16092d00">COMPONENT</a> :</div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;                        <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a00ffbf7a9069cfd135acae4b46d78d05.html#a00ffbf7a9069cfd135acae4b46d78d05">compoundAndSelf</a>((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) taskTerm, beliefTerm,</div>
<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;                                <span class="keyword">true</span>, memory);</div>
<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1.html#ad95ac3ddd10cac258cecddba9b8a7fa1">COMPOUND</a> :</div>
<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                        <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a00ffbf7a9069cfd135acae4b46d78d05.html#a00ffbf7a9069cfd135acae4b46d78d05">compoundAndSelf</a>((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) beliefTerm, taskTerm,</div>
<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                                <span class="keyword">false</span>, memory);</div>
<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a460d426cd9959e390cc7f66ba7a4b024.html#a460d426cd9959e390cc7f66ba7a4b024">COMPONENT_STATEMENT</a> :</div>
<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;                        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;                            SyllogisticRules.detachment(task.<a class="code" href="../../dc/ddc/classnars_1_1entity_1_1Task_ab140cb553a6cf40b07093d1df283567f.html#ab140cb553a6cf40b07093d1df283567f">getSentence</a>(),</div>
<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;                                    belief, bIndex, memory);</div>
<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;                        }</div>
<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea.html#a6c0e98a7948be8d940ba6afc52d43fea">COMPOUND_STATEMENT</a> :</div>
<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;                        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;                            SyllogisticRules.detachment(belief,</div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;                                    task.<a class="code" href="../../dc/ddc/classnars_1_1entity_1_1Task_ab140cb553a6cf40b07093d1df283567f.html#ab140cb553a6cf40b07093d1df283567f">getSentence</a>(), bIndex, memory);</div>
<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                        }</div>
<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae7bcc74faf32830b75e1ce3eebfd3a93.html#ae7bcc74faf32830b75e1ce3eebfd3a93">COMPONENT_CONDITION</a> :</div>
<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;                            bIndex = bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_af093a699db24ea0f11c4dafd0004f974.html#af093a699db24ea0f11c4dafd0004f974">getIndex</a>(1);</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                            SyllogisticRules.conditionalDedInd(</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;                                    (<a class="code" href="../../da/db6/classnars_1_1language_1_1Implication.html">Implication</a>) taskTerm, bIndex, beliefTerm,</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                                    tIndex, memory);</div>
<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                        }</div>
<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">COMPOUND_CONDITION</a> :</div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                            bIndex = bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_af093a699db24ea0f11c4dafd0004f974.html#af093a699db24ea0f11c4dafd0004f974">getIndex</a>(1);</div>
<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;                            SyllogisticRules.conditionalDedInd(</div>
<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;                                    (<a class="code" href="../../da/db6/classnars_1_1language_1_1Implication.html">Implication</a>) beliefTerm, bIndex, taskTerm,</div>
<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;                                    tIndex, memory);</div>
<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;                        }</div>
<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;                }</div>
<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;            <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1.html#ad95ac3ddd10cac258cecddba9b8a7fa1">COMPOUND</a> :</div>
<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                <span class="keywordflow">switch</span> (bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a795ea0b57cd6467bbe2a8f68a34cba02.html#a795ea0b57cd6467bbe2a8f68a34cba02">getType</a>()) {</div>
<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1.html#ad95ac3ddd10cac258cecddba9b8a7fa1">COMPOUND</a> :</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                        <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a764dbc9ccccf406df45e09fbfeda928f.html#a764dbc9ccccf406df45e09fbfeda928f">compoundAndCompound</a>((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) taskTerm,</div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                                (<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) beliefTerm, memory);</div>
<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea.html#a6c0e98a7948be8d940ba6afc52d43fea">COMPOUND_STATEMENT</a> :</div>
<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                        <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a8e422154fd8288d161435c3a53e44276.html#a8e422154fd8288d161435c3a53e44276">compoundAndStatement</a>((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) taskTerm, tIndex,</div>
<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;                                (<a class="code" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a>) beliefTerm, bIndex, beliefTerm,</div>
<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                                memory);</div>
<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">COMPOUND_CONDITION</a> :</div>
<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;                        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                            <span class="keywordflow">if</span> (beliefTerm instanceof <a class="code" href="../../da/db6/classnars_1_1language_1_1Implication.html">Implication</a>) {</div>
<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                                SyllogisticRules.conditionalDedInd(</div>
<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                                        (Implication) beliefTerm, bIndex,</div>
<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                                        taskTerm, -1, memory);</div>
<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                            } <span class="keywordflow">else</span> <span class="keywordflow">if</span> (beliefTerm instanceof <a class="code" href="../../d1/d8b/classnars_1_1language_1_1Equivalence.html">Equivalence</a>) {</div>
<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;                                SyllogisticRules.conditionalAna(</div>
<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                                        (Equivalence) beliefTerm, bIndex,</div>
<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;                                        taskTerm, -1, memory);</div>
<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                            }</div>
<div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                        }</div>
<div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;                }</div>
<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;            <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea.html#a6c0e98a7948be8d940ba6afc52d43fea">COMPOUND_STATEMENT</a> :</div>
<div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                <span class="keywordflow">switch</span> (bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a795ea0b57cd6467bbe2a8f68a34cba02.html#a795ea0b57cd6467bbe2a8f68a34cba02">getType</a>()) {</div>
<div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a267c238e8b0425f2f5ca407b16092d00.html#a267c238e8b0425f2f5ca407b16092d00">COMPONENT</a> :</div>
<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                        <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a274b39b31e00ef27ae6baeaad3894a6a.html#a274b39b31e00ef27ae6baeaad3894a6a">componentAndStatement</a>(</div>
<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                                (<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) memory.<a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory_a8e0d3146c07a1cc961d3ebc63317412d.html#a8e0d3146c07a1cc961d3ebc63317412d">getCurrentTerm</a>(), bIndex,</div>
<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                                (<a class="code" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a>) taskTerm, tIndex, memory);</div>
<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1.html#ad95ac3ddd10cac258cecddba9b8a7fa1">COMPOUND</a> :</div>
<div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;                        <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a8e422154fd8288d161435c3a53e44276.html#a8e422154fd8288d161435c3a53e44276">compoundAndStatement</a>((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) beliefTerm, bIndex,</div>
<div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;                                (<a class="code" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a>) taskTerm, tIndex, beliefTerm,</div>
<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;                                memory);</div>
<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea.html#a6c0e98a7948be8d940ba6afc52d43fea">COMPOUND_STATEMENT</a> :</div>
<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;                        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;                            <span class="comment">// bIndex = bLink.getIndex(1);</span></div>
<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;                            <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a8628d400a8ceda7fea05039ddfea319b.html#a8628d400a8ceda7fea05039ddfea319b">syllogisms</a>(tLink, bLink, taskTerm, beliefTerm,</div>
<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;                                    memory);</div>
<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;                        }</div>
<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">COMPOUND_CONDITION</a> :</div>
<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;                        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;                            bIndex = bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_af093a699db24ea0f11c4dafd0004f974.html#af093a699db24ea0f11c4dafd0004f974">getIndex</a>(1);</div>
<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;                            <span class="keywordflow">if</span> (beliefTerm instanceof Implication) {</div>
<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;                                <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a62599450d65ff257b92df0d48d7c1bdf.html#a62599450d65ff257b92df0d48d7c1bdf">conditionalDedIndWithVar</a>(</div>
<div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;                                        (Implication) beliefTerm, bIndex,</div>
<div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;                                        (<a class="code" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a>) taskTerm, tIndex, memory);</div>
<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;                            }</div>
<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;                        }</div>
<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;                }</div>
<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;            <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">COMPOUND_CONDITION</a> :</div>
<div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;                <span class="keywordflow">switch</span> (bLink.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a795ea0b57cd6467bbe2a8f68a34cba02.html#a795ea0b57cd6467bbe2a8f68a34cba02">getType</a>()) {</div>
<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;                    <span class="keywordflow">case</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea.html#a6c0e98a7948be8d940ba6afc52d43fea">COMPOUND_STATEMENT</a> :</div>
<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                        <span class="keywordflow">if</span> (belief != null) {</div>
<div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                            <span class="keywordflow">if</span> (taskTerm instanceof Implication)</div>
<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                                <span class="comment">// TODO maybe put instanceof test within</span></div>
<div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;                                <span class="comment">// conditionalDedIndWithVar()</span></div>
<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;                                <a class="code" href="../../da/de3/classnars_1_1inference_1_1RuleTables_a62599450d65ff257b92df0d48d7c1bdf.html#a62599450d65ff257b92df0d48d7c1bdf">conditionalDedIndWithVar</a>(</div>
<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;                                        (Implication) taskTerm, tIndex,</div>
<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                                        (<a class="code" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a>) beliefTerm, bIndex, memory);</div>
<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;                        }</div>
<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;                }</div>
<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        }</div>
<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    }</div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_a133e3243292f9daacaa8443acef6b185_html_a133e3243292f9daacaa8443acef6b185"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a133e3243292f9daacaa8443acef6b185.html#a133e3243292f9daacaa8443acef6b185">nars.entity.TermLink.getTarget</a></div><div class="ttdeci">Term getTarget()</div><div class="ttdoc">Get the target of the link. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00143">TermLink.java:143</a></div></div>
<div class="ttc" id="classnars_1_1inference_1_1RuleTables_a00ffbf7a9069cfd135acae4b46d78d05_html_a00ffbf7a9069cfd135acae4b46d78d05"><div class="ttname"><a href="../../da/de3/classnars_1_1inference_1_1RuleTables_a00ffbf7a9069cfd135acae4b46d78d05.html#a00ffbf7a9069cfd135acae4b46d78d05">nars.inference.RuleTables.compoundAndSelf</a></div><div class="ttdeci">static void compoundAndSelf(CompoundTerm compound, Term component, boolean compoundTask, Memory memory)</div><div class="ttdoc">Inference between a compound term and a component of it. </div><div class="ttdef"><b>Definition:</b> <a href="../../d1/d5e/RuleTables_8java_source.html#l00570">RuleTables.java:570</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_html"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">nars.entity.TermLink</a></div><div class="ttdoc">A link between a compound term and a component term. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00038">TermLink.java:38</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Term_ae2dba162b71bb9b806f54832249a260c_html_ae2dba162b71bb9b806f54832249a260c"><div class="ttname"><a href="../../d8/db8/classnars_1_1language_1_1Term_ae2dba162b71bb9b806f54832249a260c.html#ae2dba162b71bb9b806f54832249a260c">nars.language.Term.clone</a></div><div class="ttdeci">Object clone()</div><div class="ttdoc">Make a new Term with the same name. </div><div class="ttdef"><b>Definition:</b> <a href="../../d8/df2/Term_8java_source.html#l00083">Term.java:83</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_a267c238e8b0425f2f5ca407b16092d00_html_a267c238e8b0425f2f5ca407b16092d00"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a267c238e8b0425f2f5ca407b16092d00.html#a267c238e8b0425f2f5ca407b16092d00">nars.entity.TermLink.COMPONENT</a></div><div class="ttdeci">static final short COMPONENT</div><div class="ttdoc">At (&&, A, C), point to C. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00042">TermLink.java:42</a></div></div>
<div class="ttc" id="classnars_1_1storage_1_1Memory_a26eda4f00b333b706b4e3d069fdf1508_html_a26eda4f00b333b706b4e3d069fdf1508"><div class="ttname"><a href="../../d8/df4/classnars_1_1storage_1_1Memory_a26eda4f00b333b706b4e3d069fdf1508.html#a26eda4f00b333b706b4e3d069fdf1508">nars.storage.Memory.getCurrentTask</a></div><div class="ttdeci">Task getCurrentTask()</div><div class="ttdoc">The selected Task. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/d0c/Memory_8java_source.html#l00625">Memory.java:625</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea_html_a6c0e98a7948be8d940ba6afc52d43fea"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea.html#a6c0e98a7948be8d940ba6afc52d43fea">nars.entity.TermLink.COMPOUND_STATEMENT</a></div><div class="ttdeci">static final short COMPOUND_STATEMENT</div><div class="ttdoc">At C, point to <C --> A> </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00048">TermLink.java:48</a></div></div>
<div class="ttc" id="classnars_1_1inference_1_1RuleTables_a8e422154fd8288d161435c3a53e44276_html_a8e422154fd8288d161435c3a53e44276"><div class="ttname"><a href="../../da/de3/classnars_1_1inference_1_1RuleTables_a8e422154fd8288d161435c3a53e44276.html#a8e422154fd8288d161435c3a53e44276">nars.inference.RuleTables.compoundAndStatement</a></div><div class="ttdeci">static void compoundAndStatement(CompoundTerm compound, short index, Statement statement, short side, Term beliefTerm, Memory memory)</div><div class="ttdoc">Inference between a compound term and a statement. </div><div class="ttdef"><b>Definition:</b> <a href="../../d1/d5e/RuleTables_8java_source.html#l00629">RuleTables.java:629</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1Task_html"><div class="ttname"><a href="../../dc/ddc/classnars_1_1entity_1_1Task.html">nars.entity.Task</a></div><div class="ttdoc">A task to be processed, consists of a Sentence and a BudgetValue. </div><div class="ttdef"><b>Definition:</b> <a href="../../d6/d10/Task_8java_source.html#l00035">Task.java:35</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Statement_html"><div class="ttname"><a href="../../d1/d5e/classnars_1_1language_1_1Statement.html">nars.language.Statement</a></div><div class="ttdoc">A statement is a compound term, consisting of a subject, a predicate, and a relation symbol in betwee...</div><div class="ttdef"><b>Definition:</b> <a href="../../d2/d44/Statement_8java_source.html#l00033">Statement.java:33</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1Task_ab140cb553a6cf40b07093d1df283567f_html_ab140cb553a6cf40b07093d1df283567f"><div class="ttname"><a href="../../dc/ddc/classnars_1_1entity_1_1Task_ab140cb553a6cf40b07093d1df283567f.html#ab140cb553a6cf40b07093d1df283567f">nars.entity.Task.getSentence</a></div><div class="ttdeci">Sentence getSentence()</div><div class="ttdoc">Get the sentence. </div><div class="ttdef"><b>Definition:</b> <a href="../../d6/d10/Task_8java_source.html#l00099">Task.java:99</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1Sentence_ad1ded9a02cae3557948d05530cd4d37e_html_ad1ded9a02cae3557948d05530cd4d37e"><div class="ttname"><a href="../../d6/d25/classnars_1_1entity_1_1Sentence_ad1ded9a02cae3557948d05530cd4d37e.html#ad1ded9a02cae3557948d05530cd4d37e">nars.entity.Sentence.getContent</a></div><div class="ttdeci">Term getContent()</div><div class="ttdoc">Get the content of the sentence. </div><div class="ttdef"><b>Definition:</b> <a href="../../da/d1c/Sentence_8java_source.html#l00133">Sentence.java:133</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1Concept_html"><div class="ttname"><a href="../../d4/d22/classnars_1_1entity_1_1Concept.html">nars.entity.Concept</a></div><div class="ttdoc">A concept contains information associated with a term, including directly and indirectly related task...</div><div class="ttdef"><b>Definition:</b> <a href="../../df/d62/Concept_8java_source.html#l00047">Concept.java:47</a></div></div>
<div class="ttc" id="classnars_1_1storage_1_1Memory_a871fc44819f07232afb4573ad704dee0_html_a871fc44819f07232afb4573ad704dee0"><div class="ttname"><a href="../../d8/df4/classnars_1_1storage_1_1Memory_a871fc44819f07232afb4573ad704dee0.html#a871fc44819f07232afb4573ad704dee0">nars.storage.Memory.noResult</a></div><div class="ttdeci">boolean noResult()</div><div class="ttdoc">Actually means that there are no new Tasks. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/d0c/Memory_8java_source.html#l00129">Memory.java:129</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570_html_ae891eef9a9d8c49a597a0f61a16b4570"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">nars.entity.TermLink.COMPOUND_CONDITION</a></div><div class="ttdeci">static final short COMPOUND_CONDITION</div><div class="ttdoc">At C, point to <(&&, C, B) ==> A> </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00052">TermLink.java:52</a></div></div>
<div class="ttc" id="classnars_1_1storage_1_1Memory_a3482da9df329962e73213118fbaef131_html_a3482da9df329962e73213118fbaef131"><div class="ttname"><a href="../../d8/df4/classnars_1_1storage_1_1Memory_a3482da9df329962e73213118fbaef131.html#a3482da9df329962e73213118fbaef131">nars.storage.Memory.setCurrentBelief</a></div><div class="ttdeci">void setCurrentBelief(Sentence currentBelief)</div><div class="ttdef"><b>Definition:</b> <a href="../../db/d0c/Memory_8java_source.html#l00651">Memory.java:651</a></div></div>
<div class="ttc" id="classnars_1_1inference_1_1LocalRules_html"><div class="ttname"><a href="../../d4/de9/classnars_1_1inference_1_1LocalRules.html">nars.inference.LocalRules</a></div><div class="ttdoc">Directly process a task by a oldBelief, with only two Terms in both. </div><div class="ttdef"><b>Definition:</b> <a href="../../d0/db7/LocalRules_8java_source.html#l00038">LocalRules.java:38</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1_html_ad95ac3ddd10cac258cecddba9b8a7fa1"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1.html#ad95ac3ddd10cac258cecddba9b8a7fa1">nars.entity.TermLink.COMPOUND</a></div><div class="ttdeci">static final short COMPOUND</div><div class="ttdoc">At C, point to (&&, A, C) </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00044">TermLink.java:44</a></div></div>
<div class="ttc" id="classnars_1_1storage_1_1Memory_a19d1a5ec8277f907caaef4ecfcab2f28_html_a19d1a5ec8277f907caaef4ecfcab2f28"><div class="ttname"><a href="../../d8/df4/classnars_1_1storage_1_1Memory_a19d1a5ec8277f907caaef4ecfcab2f28.html#a19d1a5ec8277f907caaef4ecfcab2f28">nars.storage.Memory.termToConcept</a></div><div class="ttdeci">Concept termToConcept(TermStruct term)</div><div class="ttdoc">Get an existing Concept for a given Term. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/d0c/Memory_8java_source.html#l00166">Memory.java:166</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_abc9e35e4d0450f422fc03e2e53394e6a_html_abc9e35e4d0450f422fc03e2e53394e6a"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_abc9e35e4d0450f422fc03e2e53394e6a.html#abc9e35e4d0450f422fc03e2e53394e6a">nars.entity.TermLink.SELF</a></div><div class="ttdeci">static final short SELF</div><div class="ttdoc">At C, point to C; TaskLink only. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00040">TermLink.java:40</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1Concept_a37e00599fc19c5931da40bd446890f89_html_a37e00599fc19c5931da40bd446890f89"><div class="ttname"><a href="../../d4/d22/classnars_1_1entity_1_1Concept_a37e00599fc19c5931da40bd446890f89.html#a37e00599fc19c5931da40bd446890f89">nars.entity.Concept.getBelief</a></div><div class="ttdeci">Sentence getBelief(Task task)</div><div class="ttdoc">Select a isBelief to interact with the given task in inference. </div><div class="ttdef"><b>Definition:</b> <a href="../../df/d62/Concept_8java_source.html#l00385">Concept.java:385</a></div></div>
<div class="ttc" id="classnars_1_1inference_1_1RuleTables_a274b39b31e00ef27ae6baeaad3894a6a_html_a274b39b31e00ef27ae6baeaad3894a6a"><div class="ttname"><a href="../../da/de3/classnars_1_1inference_1_1RuleTables_a274b39b31e00ef27ae6baeaad3894a6a.html#a274b39b31e00ef27ae6baeaad3894a6a">nars.inference.RuleTables.componentAndStatement</a></div><div class="ttdeci">static void componentAndStatement(CompoundTerm compound, short index, Statement statement, short side, Memory memory)</div><div class="ttdoc">Inference between a component term (of the current term) and a statement. </div><div class="ttdef"><b>Definition:</b> <a href="../../d1/d5e/RuleTables_8java_source.html#l00683">RuleTables.java:683</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1Sentence_html"><div class="ttname"><a href="../../d6/d25/classnars_1_1entity_1_1Sentence.html">nars.entity.Sentence</a></div><div class="ttdoc">A Sentence is an abstract class, mainly containing a Term, a TruthValue, and a Stamp. </div><div class="ttdef"><b>Definition:</b> <a href="../../da/d1c/Sentence_8java_source.html#l00031">Sentence.java:31</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_a460d426cd9959e390cc7f66ba7a4b024_html_a460d426cd9959e390cc7f66ba7a4b024"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a460d426cd9959e390cc7f66ba7a4b024.html#a460d426cd9959e390cc7f66ba7a4b024">nars.entity.TermLink.COMPONENT_STATEMENT</a></div><div class="ttdeci">static final short COMPONENT_STATEMENT</div><div class="ttdoc">At <C --> A>, point to C. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00046">TermLink.java:46</a></div></div>
<div class="ttc" id="classnars_1_1inference_1_1RuleTables_a764dbc9ccccf406df45e09fbfeda928f_html_a764dbc9ccccf406df45e09fbfeda928f"><div class="ttname"><a href="../../da/de3/classnars_1_1inference_1_1RuleTables_a764dbc9ccccf406df45e09fbfeda928f.html#a764dbc9ccccf406df45e09fbfeda928f">nars.inference.RuleTables.compoundAndCompound</a></div><div class="ttdeci">static void compoundAndCompound(CompoundTerm taskTerm, CompoundTerm beliefTerm, Memory memory)</div><div class="ttdoc">Inference between two compound terms. </div><div class="ttdef"><b>Definition:</b> <a href="../../d1/d5e/RuleTables_8java_source.html#l00602">RuleTables.java:602</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Equivalence_html"><div class="ttname"><a href="../../d1/d8b/classnars_1_1language_1_1Equivalence.html">nars.language.Equivalence</a></div><div class="ttdoc">A Statement about an Equivalence relation. </div><div class="ttdef"><b>Definition:</b> <a href="../../d3/dcc/Equivalence_8java_source.html#l00031">Equivalence.java:31</a></div></div>
<div class="ttc" id="classnars_1_1inference_1_1RuleTables_a62599450d65ff257b92df0d48d7c1bdf_html_a62599450d65ff257b92df0d48d7c1bdf"><div class="ttname"><a href="../../da/de3/classnars_1_1inference_1_1RuleTables_a62599450d65ff257b92df0d48d7c1bdf.html#a62599450d65ff257b92df0d48d7c1bdf">nars.inference.RuleTables.conditionalDedIndWithVar</a></div><div class="ttdeci">static void conditionalDedIndWithVar(Implication conditional, short index, Statement statement, short side, Memory memory)</div><div class="ttdoc">Conditional deduction or induction, with variable unification. </div><div class="ttdef"><b>Definition:</b> <a href="../../d1/d5e/RuleTables_8java_source.html#l00538">RuleTables.java:538</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Term_html"><div class="ttname"><a href="../../d8/db8/classnars_1_1language_1_1Term.html">nars.language.Term</a></div><div class="ttdoc">Term is the basic component of Narsese, and the object of processing in NARS. </div><div class="ttdef"><b>Definition:</b> <a href="../../d8/df2/Term_8java_source.html#l00040">Term.java:40</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_a795ea0b57cd6467bbe2a8f68a34cba02_html_a795ea0b57cd6467bbe2a8f68a34cba02"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a795ea0b57cd6467bbe2a8f68a34cba02.html#a795ea0b57cd6467bbe2a8f68a34cba02">nars.entity.TermLink.getType</a></div><div class="ttdeci">short getType()</div><div class="ttdoc">Get the link type. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00151">TermLink.java:151</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_ae7bcc74faf32830b75e1ce3eebfd3a93_html_ae7bcc74faf32830b75e1ce3eebfd3a93"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae7bcc74faf32830b75e1ce3eebfd3a93.html#ae7bcc74faf32830b75e1ce3eebfd3a93">nars.entity.TermLink.COMPONENT_CONDITION</a></div><div class="ttdeci">static final short COMPONENT_CONDITION</div><div class="ttdoc">At <(&&, C, B) ==> A>, point to C. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00050">TermLink.java:50</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_af093a699db24ea0f11c4dafd0004f974_html_af093a699db24ea0f11c4dafd0004f974"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_af093a699db24ea0f11c4dafd0004f974.html#af093a699db24ea0f11c4dafd0004f974">nars.entity.TermLink.getIndex</a></div><div class="ttdeci">short getIndex(int i)</div><div class="ttdoc">Get one index by level. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00168">TermLink.java:168</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_html"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">nars.language.CompoundTerm</a></div><div class="ttdoc">A CompoundTerm is a Term with internal (syntactic) structure. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00036">CompoundTerm.java:36</a></div></div>
<div class="ttc" id="classnars_1_1inference_1_1LocalRules_aac1c92950f50edd04d12229a8c992987_html_aac1c92950f50edd04d12229a8c992987"><div class="ttname"><a href="../../d4/de9/classnars_1_1inference_1_1LocalRules_aac1c92950f50edd04d12229a8c992987.html#aac1c92950f50edd04d12229a8c992987">nars.inference.LocalRules.match</a></div><div class="ttdeci">static void match(Task task, Sentence belief, Memory memory)</div><div class="ttdoc">The task and belief have the same content. </div><div class="ttdef"><b>Definition:</b> <a href="../../d0/db7/LocalRules_8java_source.html#l00053">LocalRules.java:53</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Implication_html"><div class="ttname"><a href="../../da/db6/classnars_1_1language_1_1Implication.html">nars.language.Implication</a></div><div class="ttdoc">A Statement about an Inheritance relation. </div><div class="ttdef"><b>Definition:</b> <a href="../../d3/d1a/Implication_8java_source.html#l00031">Implication.java:31</a></div></div>
<div class="ttc" id="classnars_1_1inference_1_1RuleTables_a8628d400a8ceda7fea05039ddfea319b_html_a8628d400a8ceda7fea05039ddfea319b"><div class="ttname"><a href="../../da/de3/classnars_1_1inference_1_1RuleTables_a8628d400a8ceda7fea05039ddfea319b.html#a8628d400a8ceda7fea05039ddfea319b">nars.inference.RuleTables.syllogisms</a></div><div class="ttdeci">static void syllogisms(TaskLink tLink, TermLink bLink, Term taskTerm, Term beliefTerm, Memory memory)</div><div class="ttdoc">Meta-table of syllogistic rules, indexed by the content classes of the taskSentence and the belief...</div><div class="ttdef"><b>Definition:</b> <a href="../../d1/d5e/RuleTables_8java_source.html#l00197">RuleTables.java:197</a></div></div>
<div class="ttc" id="classnars_1_1storage_1_1Memory_a8e0d3146c07a1cc961d3ebc63317412d_html_a8e0d3146c07a1cc961d3ebc63317412d"><div class="ttname"><a href="../../d8/df4/classnars_1_1storage_1_1Memory_a8e0d3146c07a1cc961d3ebc63317412d.html#a8e0d3146c07a1cc961d3ebc63317412d">nars.storage.Memory.getCurrentTerm</a></div><div class="ttdeci">Term getCurrentTerm()</div><div class="ttdoc">The selected Term. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/d0c/Memory_8java_source.html#l00592">Memory.java:592</a></div></div>
</div><!-- fragment -->
<p><div id="dynsection-0" onclick="return toggleVisibility(this)" class="dynheader closed" style="cursor:pointer;">
  <img id="dynsection-0-trigger" src="../../closed.png" alt="+"/> Here is the call graph for this function:</div>
<div id="dynsection-0-summary" class="dynsummary" style="display:block;">
</div>
<div id="dynsection-0-content" class="dyncontent" style="display:none;">
<div class="center"><div class="zoom"><iframe scrolling="no" frameborder="0" src="../../da/de3/classnars_1_1inference_1_1RuleTables_ac2d01dfdc40bdd47c757cb549217e6e3_ac2d01dfdc40bdd47c757cb549217e6e3_cgraph.svg" width="100%" height="600"><p><b>This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.</b></p></iframe></div>
</div>
</div>
</p>

<p><div id="dynsection-1" onclick="return toggleVisibility(this)" class="dynheader closed" style="cursor:pointer;">
  <img id="dynsection-1-trigger" src="../../closed.png" alt="+"/> Here is the caller graph for this function:</div>
<div id="dynsection-1-summary" class="dynsummary" style="display:block;">
</div>
<div id="dynsection-1-content" class="dyncontent" style="display:none;">
<div class="center"><div class="zoom"><iframe scrolling="no" frameborder="0" src="../../da/de3/classnars_1_1inference_1_1RuleTables_ac2d01dfdc40bdd47c757cb549217e6e3_ac2d01dfdc40bdd47c757cb549217e6e3_icgraph.svg" width="100%" height="300"><p><b>This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.</b></p></iframe></div>
</div>
</div>
</p>

</div>
</div>
</div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="../../d7/d81/namespacenars.html">nars</a></li><li class="navelem"><a class="el" href="../../d9/d79/namespacenars_1_1inference.html">inference</a></li><li class="navelem"><a class="el" href="../../da/de3/classnars_1_1inference_1_1RuleTables.html">RuleTables</a></li>
    <li class="footer">Generated on Sun Jan 10 2016 18:03:59 for opennars by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="../../doxygen.png" alt="doxygen"/></a> 1.8.9.1 </li>
  </ul>
</div>
</body>
</html>
